Macro for static assert that types implement a trait or not.
Note: this macro can only be used inside function body due to restriction of Rust.
Example
Assuming you have the following definitions:
;
;
;
;
;
This should build:
assert_impl!;
assert_impl!;
assert_impl!;
assert_impl!;
But this should fail to build:
assert_impl!;
assert_impl!;